Irs2lox Irs2<tm1With> http://identifiers.org/mgd/MGI:3576079 MGI:3576079 Conditional ready|No functional change targeted mutation 1, Dominic J Withers